Instance Verification Kit (IVK)
spin lock @ [42475+22+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
xudc_ctrl_ep_handler
[53099+20+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_done
[18349+9+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep0_in
[51042+11+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep0_out
[49706+12+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_dequeue
[33276+15+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_disable
[27881+15+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_queue
[31789+13+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_handle_setup
[47987+17+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_irq
[54505+8+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_nonctrl_ep_handler
[53743+23+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_nuke
[22925+9+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_read_fifo
[19337+14+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_startup_handler
[41205+20+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_stop
[39703+9+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_stop_activity
[38331+18+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_write_fifo
[21569+15+/linux-3.19-rc1/drivers/usb/gadget/udc/udc-xilinx.c]